A Dihomotopy Double Category of a Po - Space Extended
نویسنده
چکیده
We introduce a dihomotopy invariant of a po-space in dimension 2, its dihomotopy double category. This is a generalisation both of the fundamental category of a pospace, and of the double homotopy groupoid of a topological space. We conjecture a van Kampen theorem for the dihomotopy double category, thus making available a tool for calculations.
منابع مشابه
Topological Deformation of Higher Dimensional Automata
A local po-space is a gluing of topological spaces which are equipped with a closed partial ordering representing the time flow. They are used as a formalization of higher dimensional automata (see for instance [6]) which model concurrent systems in computer science. It is known [11] that there are two distinct notions of deformation of higher dimensional automata, “spatial” and “temporal”, lea...
متن کاملHomotopy Branching Space and Weak Dihomotopy
The branching space of a flow is the topological space of germs of its nonconstant execution paths beginning in the same way. However, there exist weakly Shomotopy equivalent flows having non weakly homotopy equivalent branching spaces. This topological space is then badly behaved from a computer-scientific viewpoint since weakly S-homotopy equivalent flows must correspond to higher dimensional...
متن کاملFlow does not Model Flows up to Weak Dihomotopy
We prove that the category of flows cannot be the underlying category of a model category whose corresponding homotopy types are the flows up to weak dihomotopy. Some hints are given to overcome this problem. In particular, a new approach of dihomotopy involving simplicial presheaves over an appropriate small category is proposed. This small category is obtained by taking a full subcategory of ...
متن کاملFlow Does Not Model Flows up to Weak Dihomotopy (9 Transparencies) Talk given the 4th of May 2004, Paris
We prove that the category of flows cannot be the underlying category of a model category whose corresponding homotopy types are the flows up to weak dihomotopy. Some hints are given to overcome this problem. In particular, a new approach of dihomotopy involving simplicial presheaves over an appropriate small category is proposed. This small category is obtained by taking a full subcategory of ...
متن کاملNew analytical soliton type solutions for double layers structure model of extended KdV equation
In this present study the double layers structure model of extended Korteweg-de Vries(K-dV) equation will be obtained with the help of the reductive perturbation method, which admits a double layer structure in current plasma model. Then by using of new analytical method we obtain the new exact solitary wave solutions of this equation. Double layer is a structure in plasma and consists of two p...
متن کامل